Towards Vulnerability Discovery Using Staged Program Analysis

Eliminating vulnerabilities from low-level code is vital for securing software. Static analysis is a promising approach for discovering vulnerabilities since it can provide developers early feedback on the code they write. But, it presents multiple challenges not the least of which is understanding what makes a bug exploitable and conveying this information to the developer. In this paper, we present the design and implementation of a practical vulnerability assessment framework, called Melange. Melange performs data and control flow analysis to diagnose potential security bugs, and outputs well-formatted bug reports that help developers understand and fix security bugs. Based on the intuition that real-world vulnerabilities manifest themselves across multiple parts of a program, Melange performs both local and global analyses. To scale up to large programs, global analysis is demand-driven. Our prototype detects multiple vulnerability classes in C and C++ code including type confusion, and garbage memory reads. We have evaluated Melange extensively. Our case studies show that Melange scales up to large codebases such as Chromium, is easy-to-use, and most importantly, capable of discovering vulnerabilities in real-world code. Our findings indicate that static analysis is a viable reinforcement to the software testing tool set.Comment: A revised version to appear in the proceedings of the 13th conference on Detection of Intrusions and Malware & Vulnerability Assessment (DIMVA), July 201

Characterization of sebaceous and non-sebaceous cutaneous manifestations in patients with lynch syndrome: a systematic review.

A subset of patients with Lynch Syndrome demonstrates cutaneous manifestations of the disorder. Characterization of these Lynch-related skin lesions could help in early recognition of patients with Lynch Syndrome. A broad search of the literature on OVID Medline and Embase was carried out to capture papers reporting cutaneous manifestations in Lynch Syndrome patients. The results were uploaded into Mendeley reference management software. The PRISMA workflow was used in the literature selection process. In this systematic review, data were collected from 961 cases from 413 studies, including 380 molecularly confirmed Lynch Syndrome cases. The main skin lesions were: Sebaceous adenomas (43%), sebaceous carcinomas (27%), keratoacanthomas (16%), sebaceomas (13%), squamous cell carcinomas (23%), and basal cell carcinomas (10%). MSH2 variants were the most common underlying genotype (72%). Assessment of mismatch repair by immunohistochemistry, microsatellite instability analysis, or both were performed on 328 skin lesions from 220 (58%) molecularly confirmed cases. In those skin lesions, 95% of Immunohistochemistry and 90% of the microsatellite instability test results were concordant with the underlying genotype. Sebaceous skin lesions are well-recognised phenotypic features of Lynch Syndrome. Our results show that squamous and basal cell carcinomas are relatively common in patients with Lynch syndrome; however, available evidence cannot confirm that Lynch syndrome is causal. Immunohistochemistry and/or microsatellite instability testing of skin tumours in patients with a family history of Lynch Syndrome-associated cancers may be a useful approach in identifying patients requiring referral to Clinical Genetics and/or consideration of germline genetic testing for Lynch Syndrome

Love Thy Neighbor As Thyself

[Verse 1] Our deacon went to town and at a swell hotel he stayed, When a man he never knew Said “I remember you,” Just entertain my wife tonight at work I’ll be delayed, But the landlord whispered, “Deacon, just be nice, And you’ll find it safe to follow this advice.” [Chorus 1] Love thy neighbor as thyself, but leave his wife alone, Or else that neighbor might get wise and try to win your own, So try to lead the simple life, but lead it with your own dear wife,Live thy neighbor as thyself, but leave his wife alone. [Verse 2] My friend next door went on a trip, his poor wife stayed behind, And I thought it was no crime To give her one good time, So I gave her a cute gold watch, the best time I could find, Making presents in his absence didn’t go, So her husband wrote me this to let me know. [Chorus 2] Love thy neighbor as thyself, but leave his wife alone, Or else that neighbor might get wise and try to win your own, With fifty men I’d trust my wife, but with just one, “not on your life,” Love thy neighbor as thyself, but leave his wife alone. [Verse 3] I went up in an aeroplane with Jonesey and his bride, So she would not be afraid My arm around her strayed, “Leave her alone or I will leave this lever go” he cried, “If I do it’s plain this aeroplane will fall,” Then he said some more but this much I recall. [Chorus 3] Love thy neighbor as thyself, but leave his wife alone, Or else that neighbor might get wise and try to win your own, I knew she wasn’t safe down there that’s why I brought her in the air, Love thy neighbor as thyself, but leave his wife alone. [Verse 4] A male and female on a fence were singing in B Flat It’s an ordinary thing, to hear two young cats sing, They sang the latest catalogue of catawauls and that When another Tom yelled “What is this I see? Quit my bride or there’ll be some catastrophy: [Chorus 4] Love thy neighbor as thyself, but leave his wife alone, Or else that neighbor might get wise and try to win your own, “I cant bring suit, I think it’s tough A back fence isn’t grounds enough Love thy neighbor as thyself, but leave his wife alone

Knowledge politics and new converging technologies: a social epistemological perspective

The “new converging technologies” refers to the prospect of advancing the human condition by the integrated study and application of nanotechnology, biotechnology, information technology and the cognitive sciences - or “NBIC”. In recent years, it has loomed large, albeit with somewhat different emphases, in national science policy agendas throughout the world. This article considers the political and intellectual sources - both historical and contemporary - of the converging technologies agenda. Underlying it is a fluid conception of humanity that is captured by the ethically challenging notion of “enhancing evolution”

Influence of Type of Cigarette on Peripheral versus Central Lung Cancer

Objectives: Adenocarcinoma has replaced squamous cell carcinoma as the most common cell type of lung cancer in the United States. It has been proposed that this shift is due to the increased use of filter and lower-tar cigarettes, resulting in increased delivery of smoke to peripheral regions of the lungs, where adenocarcinoma usually occurs. We reviewed radiologic data to evaluate the hypothesis that tumors in smokers of cigarettes with lower-tar yield are more likely to occur peripherally than tumors in smokers of higher-yield cigarettes. Methods: At two urban academic medical centers, we reviewed computed tomographic scans, chest radiographs, and medical records to assign tumor location (peripheral or central) for 330 smokers diagnosed with carcinoma of the lung between 1993 and 1999. We compared the proportion of tumors in a peripheral versus central location by lifetime filter use and average lifetime tar rating (<21 and ≥21 mg). Results: Tumor location (69% peripheral and 31% central) was unrelated to cigarette filter use. Smokers of cigarettes with lower-tar ratings were more likely than those with higher ratings to have peripheral rather than central tumors (odds ratio, 1.76; 95% confidence interval, 0.89-3.47). When restricted to subjects with adenocarcinoma or squamous cell carcinoma, the odds ratio (95% confidence interval) was 2.31 (1.05-5.08). Conclusions: Among cigarette smokers with lung cancer, use of cigarettes with lower-tar yield was associated with preferential occurrence of tumors in peripheral sites. Our findings support the hypothesis that changes in smoking associated with lower-tar cigarettes have led to a shift in the location of smoking-related lung cancer

Predictors of survival in malignant tumors of the sternum

AbstractFrom 1930 to 1994, 54 patients with primary malignant tumors of the sternum were seen. Fifty patients were first seen with a mass, and one half of them also had pain in the sternal region. Two patients had no symptoms at presentation. Among 39 solid tumors were 26 chondrosarcomas, 10 osteosarcomas, 1 fibrosarcoma, 1 angiosarcoma, and 1 malignant fibrous histiocytoma. Of these, 25 were low-grade and 14 were high-grade tumors. Among 15 small cell tumors were 8 plasmacytomas, 6 malignant lymphomas, and 1 Ewing's sarcoma. Partial or subtotal sternectomy was done in 37 patients and total sternectomy in 3. Of the remaining 14 patients, 3 had local excision; 10 had external radiation or chemotherapy without operation, or both; and 1 had no treatment. All but one patient treated by wide resection ( N = 40) had some form of skeletal reconstruction of the chest wall defect. Thirty-one (78%) underwent repair with Marlex mesh, and in 25 this was combined with methyl methacrylate. The skin edges were closed per primum in 32 patients; 8 required muscle, omentum, or skin flaps. Resection in chondrosarcomas yielded a 5-year survival (Kaplan-Meier) of 80% (median follow-up, 17 years). The 5-year survival in osteosarcomas was 14%. Resection was curative in 64% of low-grade sarcomas but in only 7% of high-grade sarcomas. In small cell tumors, resection and radiation were helpful for local control; all failures were a result of distant metastases. We conclude that primary sarcomas of the sternum though uncommon are potentially curable by wide surgical excision. With rigid prostheses to repair the skeletal defects, the surgical complication rates are low. Overall survival after complete surgical resection is related to tumor histologic type and grade. (J THORAC CARDIOVASC SURG 1996;111:96-106

Measurement of the cross-section and charge asymmetry of WW bosons produced in proton-proton collisions at s=8\sqrt{s}=8 TeV with the ATLAS detector

This paper presents measurements of the $W^+ \rightarrow \mu^+\nu$ and $W^- \rightarrow \mu^-\nu$ cross-sections and the associated charge asymmetry as a function of the absolute pseudorapidity of the decay muon. The data were collected in proton--proton collisions at a centre-of-mass energy of 8 TeV with the ATLAS experiment at the LHC and correspond to a total integrated luminosity of 20.2~\mbox{fb^{-1}}. The precision of the cross-section measurements varies between 0.8% to 1.5% as a function of the pseudorapidity, excluding the 1.9% uncertainty on the integrated luminosity. The charge asymmetry is measured with an uncertainty between 0.002 and 0.003. The results are compared with predictions based on next-to-next-to-leading-order calculations with various parton distribution functions and have the sensitivity to discriminate between them.Comment: 38 pages in total, author list starting page 22, 5 figures, 4 tables, submitted to EPJC. All figures including auxiliary figures are available at https://atlas.web.cern.ch/Atlas/GROUPS/PHYSICS/PAPERS/STDM-2017-13

Measurements of fiducial and differential cross sections for Higgs boson production in the diphoton decay channel at s√=8 TeV with ATLAS

Measurements of fiducial and differential cross sections are presented for Higgs boson production in proton-proton collisions at a centre-of-mass energy of s√=8 TeV. The analysis is performed in the H → γγ decay channel using 20.3 fb−1 of data recorded by the ATLAS experiment at the CERN Large Hadron Collider. The signal is extracted using a fit to the diphoton invariant mass spectrum assuming that the width of the resonance is much smaller than the experimental resolution. The signal yields are corrected for the effects of detector inefficiency and resolution. The pp → H → γγ fiducial cross section is measured to be 43.2 ±9.4(stat.) − 2.9 + 3.2 (syst.) ±1.2(lumi)fb for a Higgs boson of mass 125.4GeV decaying to two isolated photons that have transverse momentum greater than 35% and 25% of the diphoton invariant mass and each with absolute pseudorapidity less than 2.37. Four additional fiducial cross sections and two cross-section limits are presented in phase space regions that test the theoretical modelling of different Higgs boson production mechanisms, or are sensitive to physics beyond the Standard Model. Differential cross sections are also presented, as a function of variables related to the diphoton kinematics and the jet activity produced in the Higgs boson events. The observed spectra are statistically limited but broadly in line with the theoretical expectations

Measurement of the production of a W boson in association with a charm quark in pp collisions at √s = 7 TeV with the ATLAS detector

The production of a W boson in association with a single charm quark is studied using 4.6 fb−1 of pp collision data at s√ = 7 TeV collected with the ATLAS detector at the Large Hadron Collider. In events in which a W boson decays to an electron or muon, the charm quark is tagged either by its semileptonic decay to a muon or by the presence of a charmed meson. The integrated and differential cross sections as a function of the pseudorapidity of the lepton from the W-boson decay are measured. Results are compared to the predictions of next-to-leading-order QCD calculations obtained from various parton distribution function parameterisations. The ratio of the strange-to-down sea-quark distributions is determined to be 0.96+0.26−0.30 at Q 2 = 1.9 GeV2, which supports the hypothesis of an SU(3)-symmetric composition of the light-quark sea. Additionally, the cross-section ratio σ(W + +c¯¯)/σ(W − + c) is compared to the predictions obtained using parton distribution function parameterisations with different assumptions about the s−s¯¯¯ quark asymmetry